$e$ $\uparrow$$r$ $n$ $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$n$ $\cdot$ $e$